Tesis de Church-Turing

Tesis de Church-Turing
Todo algoritmo o procedimiento efectivo es Turing-computable.

Enciclopedia Universal. 2012.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Tesis de Church-Turing — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… …   Wikipedia Español

  • Turing (desambiguación) — Turing puede referirse a: Alan Turing. Fue un matemático, informático teórico, criptógrafo y filósofo inglés. Es considerado uno de los padres de la Ciencia de la computación siendo el precursor de la informática moderna. Test de Turing. Es una… …   Wikipedia Español

  • Turing completo — Para otros usos de este término, véase Turing (desambiguación). En la teoría de computadoras reales e imaginarias, de los lenguajes de programación y de otros sistemas lógicos, un sistema Turing completo es aquel que tiene un poder computacional… …   Wikipedia Español

  • Church, Alonzo — (14 jun. 1903, Washington, D.C., EE.UU.–11 ago. 1995, Hudson, Ohio). Matemático estadounidense. Obtuvo su Ph.D. en la Universidad de Princeton. Sus aportes a la teoría de los números y a las teorías de algoritmos y computabilidad establecieron… …   Enciclopedia Universal

  • Alan Turing — Para otros usos de este término, véase Turing (desambiguación). Alan Turing Alan Mathison Turing Nacimiento 23 de junio de …   Wikipedia Español

  • Máquina de Turing — Para otros usos de este término, véase Turing (desambiguación). Una máquina de Turing (MT) es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma. Este …   Wikipedia Español

  • Alonzo Church — Saltar a navegación, búsqueda Alonzo Church (14 de junio de 1903 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de …   Wikipedia Español

  • Alan Mathison Turing — (23 de junio de 1912 7 de junio de 1954). Fue matemático, científico de la computación, criptógrafo y filósofo. Se le considera uno de los padres de la Ingeniería informática siendo el precursor de la Ciencia de la computación moderna.… …   Enciclopedia Universal

  • Teoría de la computabilidad — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Un nuevo tipo de ciencia — Una nueva clase de ciencia (en inglés, A New Kind of Science) es un libro de Stephen Wolfram, publicado en 2002. Contiene un estudio empírico y sistemático de los sistemas computacionales tales como los autómatas celulares. Wolfram denomina… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”